Definitions | R|P, E < >{T} E', x(s), ES, , Type, single-thread-generator{i:l}(es;P;R), A c B, R!, P   Q, (e < e'), P Q, left + right, s = t, x f y, R^+, x:A. B(x), P & Q, x:A B(x), f(a), E, P  Q, x:A B(x), connex(T;R), Connex(T;x,y.R(x;y)), R^*, {T}, P  Q,  x. t(x) |